combinatory logic

コンビネータ論理

applicative computing systems

B, C, K, W system

categorical abstract machine

Combinatory categorial grammar

explicit substitution

fixed-point combinator

Graph reduction machine

Lambda calculus and Cylindric algebra, other approaches to modelling quantification and eliminating variables

SKI combinator calculus

supercombinator

To Mock a Mockingbird

Combinatory logic - Wikipedia